First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
411	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
412	Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics
413	Scaling-up Importance Sampling for Markov Logic Networks Vibhav Gogate Department of Computer Science University of Texas at Dallas Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:56:53 Monte Carlo methods Data analysis Artificial intelligence Markov logic network Gibbs sampling Importance sampling Bayesian inference Sampling First-order logic Statistics Statistical inference Bayesian statistics
414	Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs Deepak Venugopal Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-12-01 04:03:20 Bayesian statistics Artificial intelligence Model theory Graphical models Markov logic network First-order logic Gibbs sampling Constructible universe Bayesian network Mathematics Theoretical computer science Applied mathematics
415	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods
416	Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:26 Binding Generalized quantifier Quantification Entailment Constructible universe First-order logic Denotational semantics Symbol Ground expression Logic Semantics Mathematical logic
417	INFORMATION AND 76, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:36:56 Logic Institution Algebraic structure Structure Interpretation First-order logic Functor Sheaf Adjoint functors Mathematics Model theory Mathematical logic
418	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
419	Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-04-09 23:20:46 Predicate logic Model theory Quantification First-order logic Structure Integration by substitution FO Function Abductive logic programming Logic Mathematics Mathematical logic
420	On Odd and Even Cycles in Normal Logic Programs∗ Fangzhen Lin Xishun Zhao Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 10:24:46 Logic programming Stable model semantics Answer set programming NC First-order logic XTR Model theory Propositional calculus Logic Mathematical logic Theoretical computer science

UPDATE